- интерактивное доказательство
- Security: interactive proof
Универсальный русско-английский словарь. Академик.ру. 2011.
интерактивное доказательство
Смотреть что такое "интерактивное доказательство" в других словарях:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
The Last Express — Разработчик Smoking Car Production Издатель Brøderbund Software … Википедия
